extension | φ:Q→Out N | d | ρ | Label | ID |
C22:C8:1C2 = C23:C8 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 16 | | C2^2:C8:1C2 | 64,4 |
C22:C8:2C2 = C22.SD16 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 16 | | C2^2:C8:2C2 | 64,8 |
C22:C8:3C2 = C22:D8 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 16 | | C2^2:C8:3C2 | 64,128 |
C22:C8:4C2 = C22.D8 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:4C2 | 64,161 |
C22:C8:5C2 = D4:D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:5C2 | 64,130 |
C22:C8:6C2 = D4.7D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:6C2 | 64,133 |
C22:C8:7C2 = C23.19D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:7C2 | 64,163 |
C22:C8:8C2 = Q8:D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:8C2 | 64,129 |
C22:C8:9C2 = C22:SD16 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 16 | | C2^2:C8:9C2 | 64,131 |
C22:C8:10C2 = C23.46D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:10C2 | 64,162 |
C22:C8:11C2 = C24.4C4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 16 | | C2^2:C8:11C2 | 64,88 |
C22:C8:12C2 = (C22xC8):C2 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:12C2 | 64,89 |
C22:C8:13C2 = C8:9D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:13C2 | 64,116 |
C22:C8:14C2 = C8:6D4 | φ: C2/C1 → C2 ⊆ Out C22:C8 | 32 | | C2^2:C8:14C2 | 64,117 |
C22:C8:15C2 = C8xD4 | φ: trivial image | 32 | | C2^2:C8:15C2 | 64,115 |